161. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده: [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
162. Artificial neural network for drug design, delivery, and disposition
پدیدآورنده: edited by Munish Puri, Yashwant Pathak, Vijay Kumar Sutariya, Srinivas Tipparaju, Wilfrido Moreno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Neural networks (Computer science),Pharmaceutical technology.,Pharmacology-- Data processing.,Automatic Data Processing,Drug Delivery Systems,Drug Discovery-- methods,Neural Networks (Computer),Technology, Pharmaceutical
163. Assured cloud computing /
پدیدآورنده: edited by Roy H. Campbell, Charles A. Kamhoua, Kevin A. Kwiat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
585
.
A87
2018eb
164. Asynchronous sequential machine design and analysis
پدیدآورنده: / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
165. Automata, Languages and Programming :
پدیدآورنده: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
166. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
167. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
168. Automated Deduction - CADE-23 :
پدیدآورنده: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
169. Automated technology for verification and analysis :
پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
170. Automating Instructional Design:
پدیدآورنده: edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Educational technology.,Software engineering.
171. Axiomatising the Logic of Computer Programming
پدیدآورنده: by Robert Goldblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
172. BIS 2000
پدیدآورنده: 4th International Conference on Business Information Systems, Poznań, Poland, 12-13 April 2000 ; Witold Abramowicz [und weitere], (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: BETRIEBLICHE INFORMATIONSSYSTEME (BETRIEBSWIRTSCHAFT),Betriebliches Informationssystem.,Informationsmanagement.
رده :
HF5548
.
2
T456
2000
177. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
178. Baltic Computer Science :
پدیدآورنده: by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
179. Beginning C object-oriented programming /
پدیدآورنده: Dan Clark
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C# (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C154
C53
2013
180. Beginning C object-oriented programming /
پدیدآورنده: Dan Clark
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C# (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C154
C53
2013
